-
1 logical contradiction
Большой англо-русский и русско-английский словарь > logical contradiction
-
2 logical contradiction
Математика: логическое противоречие -
3 logical contradiction
English-russian dictionary of physics > logical contradiction
-
4 logical contradiction
логическое противоречиеEnglish-Russian dictionary of technical terms > logical contradiction
-
5 logical contradiction
English-Russian scientific dictionary > logical contradiction
-
6 logical contradiction
Англо-русский словарь по исследованиям и ноу-хау > logical contradiction
-
7 contradiction
1) контрадикция2) опровержение4) противоречие5) разноречие•in a contradiction — противоречиво; в противоречии с
principle of contradiction — матем. принцип противоречия
-
8 логическое противоречие
Большой англо-русский и русско-английский словарь > логическое противоречие
-
9 paradox
n парадоксclock paradox — парадокс времени, парадокс близнецов
Синонимический ряд:1. contradiction (noun) antilogy; contradiction; equivocation; incongruity; inconsistency; oxymoron; reversal; self-contradiction2. puzzle (noun) absurdity; ambiguity; dilemma; enigma; maze; nonplus; nonsense; puzzle; quandary -
10 principle
1) правило; принцип2) закон3) начало, первооснова, (перво)источник•- distributed maximum principle - least number principle - principle of adiabatic invariance - principle of contraction mapping - principle of extension of inequalities - principle of fixed point - principle of harmonic balance - principle of harmonic measure - principle of hyperbolic measure - principle of least squares - principle of length and area - principle of mathematical induction - principle of maximum likelihood - principle of point estimation - principle of stationary phase - principle of stochastic balance - principle of transfinite induction - principle of unsufficient reason - virtual work principle - weak likelihood principle -
11 proof
1) доказательство || являющийся доказательством; доказывающий2) математическая или арифметическая проверка3) проверка; контроль || проверенный; прошедший контроль4) испытания || испытанный; выдержавший испытания5) корректураб) пробный оттиск; гранка6) читать корректуру с целью исправления (орфографических) ошибок, проф. держать корректуру8) подвергать обработке с целью повышения устойчивости к внешним воздействиям (напр. влагостойкости)•- proof by enumeration
- proof by exhaustion
- proof by induction
- proof by reduction to absurdity
- abstract proof
- color proof
- deductive proof
- digital proof
- digital color proof
- direct proof
- direct digital color proof
- exact proof
- experimental proof
- galley proof
- heuristic proof
- indirect proof
- logical proof
- mathematical proof
- theoretical proof
- zero-knowledge proof -
12 proof
1) доказательство || являющийся доказательством; доказывающий3) проверка; контроль || проверенный; прошедший контроль4) испытания || испытанный; выдержавший испытания5) корректураб) пробный оттиск; гранка6) читать корректуру с целью исправления (орфографических) ошибок, проф. держать корректуру8) подвергать обработке с целью повышения устойчивости к внешним воздействиям (напр. влагостойкости)•- color proof
- deductive proof
- digital color proof
- digital proof
- direct digital color proof
- direct proof
- exact proof
- experimental proof
- galley proof
- heuristic proof
- indirect proof
- logical proof
- mathematical proof
- proof by contradiction
- proof by enumeration
- proof by exhaustion
- proof by induction
- proof by reduction to absurdity
- theoretical proof
- zero-knowledge proofThe New English-Russian Dictionary of Radio-electronics > proof
-
13 inverted\ epithets
colloq.based on the contradiction between the logical and the syntactical: logically defining becomes syntactically defined and vice versa. The article with the second noun will help in doubtful cases"this devil of a woman" instead of "this devilish woman", "the giant man" (a gigantic man); "the prude of a woman" (a prudish woman), "the toy of a girl" (a small, toylike girl), "the kitten of a woman" (a kittenlike woman)
She was a faded white rabbit of a woman. (A.Cronin)
a doll of a wife (the wife is like a doll), an angel of a girl (the girls is an angel), a hell of a mess, a devil of a sea, a dwarf of a fellow, a horse of a girl, a fool of a policeman, a hook of a nose, a vow of a hat, a jewel of a film (I.V.A.)
a two-legged ski-rocket of a kid, a forty-pound skunk of a freckled wild cat (I.V.A.)
See: epithetEnglish-Russian dictionary of stylistics (terminology and examples) > inverted\ epithets
-
14 irony
- is a stylistic device in which the contextual evaluative meaning of a word is directly opposite to its dictionary meaning- is the foregrounding not of the logical but of the evaluative meaning- is the contradiction between the said and implied- is subdivided into verbal irony and sustained ironyThe context is arranged so that the qualifying word in irony reverses the direction of the evaluation, and the word positively charged is understood as a negative qualification and (much-much rarer) vice versa. The context varies from the minimal - a word combination to the context of a whole book.The lift held two people and rose slowly, groaning with diffidence. (I.Murdoch)
Apart from splits based on politics, racial, religious and ethic backgrounds and specific personality differences, we're just one cohesive team. (D.Uhnak)
Source: V.A.K.See: lexical SDsEnglish-Russian dictionary of stylistics (terminology and examples) > irony
-
15 reversed\ epithets
colloq.based on the contradiction between the logical and the syntactical: logically defining becomes syntactically defined and vice versa. The article with the second noun will help in doubtful cases"this devil of a woman" instead of "this devilish woman", "the giant man" (a gigantic man); "the prude of a woman" (a prudish woman), "the toy of a girl" (a small, toylike girl), "the kitten of a woman" (a kittenlike woman)
She was a faded white rabbit of a woman. (A.Cronin)
a doll of a wife (the wife is like a doll), an angel of a girl (the girls is an angel), a hell of a mess, a devil of a sea, a dwarf of a fellow, a horse of a girl, a fool of a policeman, a hook of a nose, a vow of a hat, a jewel of a film (I.V.A.)
a two-legged ski-rocket of a kid, a forty-pound skunk of a freckled wild cat (I.V.A.)
See: epithetEnglish-Russian dictionary of stylistics (terminology and examples) > reversed\ epithets
-
16 law
1) закон3) правило4) принцип•under the law — по закону, согласно закону, в соответствии с законом
- Biot law- converse law of double negation- cube law- distributive law of disjunction over conjunction - double law of the mean - fifth power law - first distributive law - first law of mean- gas law- idempotency law - infinitely decomposable law - infinitely divisible law - inverse sine law - inverse square law - law of addition of probability - law of alteration of quantifiers - law of associativity of disjunction - law of comparative judgment - law of constant angles - law of double complementation - law of equal significance - law of mass action - law of random function - law of random vector - law of requisite variety - law of right invertibility - law of statistical regularity - law of universal causation - law of universal gravitation - Newton's first law of motion - Newton's law of gravitation - Newton's second law of motion - Newton's third law of motion - normal law of composition - normal law of errors - one-sided modular law - probabilistic law - probability law - product law of probability - quadratic reciprocity law - second law of mean - second order law - similitude law- time law- weak law -
17 proof
1) доказательство; обоснование; подтверждение2) полигр. корректура, пробный оттиск4) проверка; испытание; проба || проверять; испытывать; опробовать5) безопасный; защищённый6) обеспечивать непроницаемость; герметизировать•proof against — устойчивый к воздействию (какого-л. фактора)
proof by contradiction — мат. доказательство от противного
proof by induction — мат. доказательство по индукции
proof by matrices — мат. доказательство с помощью матриц
proof in outline — набросок [схема] доказательства;
this completes the proof — это завершает доказательство; на этом доказательство заканчивается
- strong proofto give a proof — матем. дать доказательство
-
18 negation
1. n отрицаниеnegation gate — вентиль отрицания; схема отрицания
2. n отрицание существования или истинности3. n ничто, пустое место; фикцияСинонимический ряд:1. denial (noun) cancellation; denial; disclaimer; gainsaying; refusal; refutation; rejection; repudiation; veto2. opposite (noun) absence; antithesis; contradiction; contrary; converse; opposite; reverse3. repeal (noun) abolishment; abolition; abrogation; annihilation; annulment; invalidation; nullification; repeal; rescission
См. также в других словарях:
logical contradiction — two things that cannot logically exist side by side … English contemporary dictionary
Logical possibility — A logically possible proposition is one that can be asserted without implying a logical contradiction. This is to say that a proposition is logically possible if there is some coherent way for the world to be, under which the proposition would be … Wikipedia
Contradiction — Con tra*dic tion, n. [L. contradictio answer, objection: cf. F. contradiction.] 1. An assertion of the contrary to what has been said or affirmed; denial of the truth of a statement or assertion; contrary declaration; gainsaying. [1913 Webster]… … The Collaborative International Dictionary of English
Contradiction — In classical logic, a contradiction consists of a logical incompatibility between two or more propositions. It occurs when the propositions, taken together, yield two conclusions which form the logical, usually opposite inversions of each other.… … Wikipedia
Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… … Wikipedia
Logical disjunction — Disjunction redirects here. For separation of chromosomes, see Meiosis. For disjunctions in distribution, see Disjunct distribution. Venn diagram of the logical disjunction of A and B … Wikipedia
Logical conjunction — ∧ redirects here. For exterior product, see exterior algebra. Venn diagram of … Wikipedia
Logical NOR — This article is about NOR in the logical sense. For the electronic gate, see NOR gate. For other uses, see Nor. Venn diagram of In boolean logic, logical nor or joint denial is a truth functional operator which produces a result that is the… … Wikipedia
Logical equality — For the corresponding concept in combinational logic, see XNOR gate. XNOR Logic Gate Symbol Logical equality is a logical operator that corresponds to equality in Boolean algebra and to the logical biconditional in propositional calculus. It… … Wikipedia
Logical implication — In logic and mathematics, logical implication is a logical relation that holds between a set T of formulae and a formula B when every model (or interpretation or valuation) of T is also a model of B . In symbols,# T models B, # T Rightarrow B # T … Wikipedia
contradiction — noun ADJECTIVE ▪ complete, direct, flat ▪ blatant (esp. AmE), glaring, obvious ▪ basic, fundamental … Collocations dictionary